In defending his interest-relative account of knowledge in Knowledge and Practical Interests (2005), Jason Stanley relies heavily on intuitions about several bank cases. We experimentally test the empirical claims that Stanley seems to make concerning our common-sense intuitions about these bank cases. Additionally, we test the empirical claims that Jonathan Schaffer seems to make in his critique of Stanley. We argue that our data impugn what both Stanley and Schaffer claim our intuitions about such cases are. To account for these (...) results, one must develop a better conception of the connection between a subject's interests and her body of knowledge than those offered by Stanley and Schaffer. (shrink)

In this paper I provide some formal schemas for the analysis of vague predicates in terms of a set of semantic relations other than classical synonymy, including weak synonymy (as between "large" and "huge"), antonymy (as between "large" and "small"), relativity (as between "large" and "large for a dog"), and a kind of supervenience (as between "large" and "wide" or "long"). All of these relations are representable in the simple comparative logic CL, in accordance with the basic formula: the more (...) something is F, the more (or less) it is G. I use Carnapian meaning postulates to define these relations as constraints on interpretations of the formal language of CL. (shrink)

Despite their influence on later philosophers such as Hume, Malebranche's central arguments for occasionalism remain deeply puzzling. Both the famous ‘no necessary connection’ argument and what I call the epistemic argument include assumptions – e.g., that a true cause is logically necessarily connected to its effect – that seem unmotivated, even in their context. I argue that a proper understanding of late scholastic views lets us see why Malebranche would make this assumption. Both arguments turn on the claim that a (...) volition is the only candidate for a cause, because only a volition can include an effect as its intentional content. (shrink)

Walter Reese-Schäfer, Karl-Otto Apel, Zur Einführung (with an Afterword by Jürgen Habermas), Junis Verlag GmbH, Hamburg 1990, 176pp. DM 17.80 -/- The author, presently a freelance writer published in the newspaper “Die Zeit” and the magazine “Stern,” pro­vides in this small book a clear and concise introduction to sources, themes and conclusions in the philosophy of Karl-Otto Apel. Apel, Emeritus Pro­fessor at Frank­furt, and close colleague of Habermas, characterizes his viewpoint as a “transcen­dental pragmatism” in which a Kantian concern (...) for question regarding “the conditions for the possi­bility of some­thing,” (p.10) mixes with deontological discourse-ethics, semeiotic themes from Peirce, an ap­proach to fallibilism, the demand for “final justifica­tions” (Letzt­begründung) and German her­meneutics. In view of the “den­sity and concentration” of Apel’s texts, which often have a “deterrent effect” upon those not already at home with “the phil­osophical language game,” it is the announced aim of this book to provide a work of translation and clarification of Apel’s special­ized efforts --in effect an orientation to Apel’s work. The book divides into an Introduction, 8 chapters and a summary conclusion --with Habermas’ appreciation, “A Master Builder with Hermeneutic Feeling --The Way of Philosopher Karl-Otto Apel,” bringing up the rear. There is also a bibliography of primary and secondary sources and a short table outlining highlights of Apel’s career. The “Introduction” provides a good overview of the aims of the book and gets one started on central themes. (shrink)

Background: Recent literature on addiction and judgments about the characteristics of agents has focused on the implications of adopting a ‘brain disease’ versus ‘moral weakness’ model of addiction. Typically, such judgments have to do with what capacities an agent has (e.g., the ability to abstain from substance use). Much less work, however, has been conducted on the relationship between addiction and judgments about an agent’s identity, including whether or to what extent an individual is seen as the same person after (...) becoming addicted. Methods: We conducted a series of vignette-based experiments (total N = 3,620) to assess lay attitudes concerning addiction and identity persistence, systematically manipulating key characteristics of agents and their drug of addiction. Conclusions: In Study 1, we found that US participants judged an agent who became addicted to drugs as being closer to ‘a completely different person’ than ‘completely the same person’ as the agent who existed prior to the addiction. In Studies 2-6, we investigated the intuitive basis for this result, finding that lay judgments of altered identity as a consequence of drug use and addiction are driven primarily by perceived negative changes in the moral character of drug users, who are seen as having deviated from their good true selves. (shrink)

La traduction latine du livre de Maïmonide Moreh Nevukhim | Guide des égarés, a été l'ouvrage juif le plus influent des derniers millénaires (Di Segni, 2019 ; Rubio, 2006 ; Wohlman, 1988, 1995 ; Kohler, 2017). Elle marqua le début de la scolastique, fille du judaïsme élevée par des penseurs juifs, selon l'historien Heinrich Graetz (Geschichte der Juden, L. 6, Leipzig 1861, p. xii). Imprimée par la première presse mécanique de Gutenberg, son influence en Occident s'étendit jusqu'au Vème concile du (...) Latran (1512-1517) « où les savants furent encouragés à lever les difficultés qui semblaient diviser l'ensemble de la théologie et de la philosophie — (Leibniz, Théodicée, 11 ) ». Pendant des siècles, le Guide a révolutionné le programme d'instruction scolaire en réintégrant dans le domaine de la foi les lois de la pensée (dont la quatrième est devenue le principe de la raison suffisante de Leibniz). Cette collection complète de notes qui expose les idées du Guide fournit tous les passages sélectionnés et réécrits par Leibniz. Cette première traduction complète bilingue annotée des manuscrits originaux en latin sert de porte d'entrée à la foi conforme à la Raison. -/- « L'excellent livre du Rabbin Moïse Maïmonide, le Guide des égarés, est plus philosophique que je ne l'avais imaginé et mérite une lecture attentive. L'auteur, distingué par son intelligence en philosophie, était versé dans les mathématiques, l'art médical, et aussi dans la connaissance de Saintes Écritures. » — G. W. LEIBNIZ, 1685, Anthologie de Leibniz du Guide de Maïmonide, Chapitre III. (shrink)

Much of the literature from political psychology has focused on the negative traits that are positively associated with affective polarization—e.g., animus, arrogance, distrust, hostility, and outrage. Not as much attention has been focused on the positive traits that might be negatively associated with polarization. For instance, given that people who are intellectually humble display greater openness and less hostility towards conflicting viewpoints (Krumrei-Mancuso & Rouse, 2016; Hopkin et al., 2014; Porter & Schumann, 2018), one might reasonably expect them to be (...) less polarized. -/- We ran two studies designed to explore the relationship between various forms of humility and polarization. Our chief finding is that people who value humility are prone to what we are calling epistemic polarization—that is, judging the epistemic traits of contrapartisans negatively—which in turn plays a role in polarization more generally. Not only are contrapartisans deemed to have the wrong moral and political beliefs, they are also viewed as less humble and more arrogant, close-minded, and irrational. This makes matters even worse when it comes to the growing partisan divide. In light of our findings, we believe that the novel concept of epistemic polarization that we introduce is a promising target for further investigation. (shrink)

Recent research has begun treating the perennial philosophical question, “what makes a person the same over time?” as an empirical question. A long tradition in philosophy holds that psychological continuity and connectedness of memories are at the heart of personal identity. More recent experimental work, following Strohminger & Nichols (2014), has suggested that persistence of moral character, more than memories, is perceived as essential for personal identity. While there is a growing body of evidence supporting these findings, a critique by (...) Starmans & Bloom (2018) suggests that this research program conflates personal identity with mere similarity. To address this criticism, we explore how loss of someone’s morality or memories influence perceptions of identity change, and perceptions of moral duties towards the target of the change. We present participants with a classic ‘body switch’ thought experiment and after assessing perceptions of identity persistence, we present a moral dilemma, asking participants to imagine that one of the patients must die (Study 1) or be left alone in a care home for the rest of their life (Study 2). Our results highlight the importance of the continuity of moral character, suggesting lay intuitions are tracking (something like) personal identity, not just mere similarity. (shrink)

In two recent papers, Michael Della Rocca accuses Descartes of reasoning circularly in the Fourth Meditation. This alleged new circle is distinct from, and more vicious than, the traditional Cartesian Circle arising in the Third Meditation. We explain Della Rocca’s reasons for this accusation, showing that his argument is invalid.

When you and I seriously argue over whether a man of seventy is old enough to count as an "old man", it seems that we are appealing neither to our own separate standards of oldness nor to a common standard that is already fixed in the language. Instead, it seems that both of us implicitly invoke an ideal, shared standard that has yet to be agreed upon: the place where we ought to draw the line. As with other normative standards, (...) it is hard to know whether such borderlines exist prior to our coming to agree on where they are. But epistemicists plausibly argue that they must exist whether we ever agree on them or not, as this provides the only logically acceptable response to the sorites paradox. This paper argues that such boundaries do typically exist as hypothetical ideals, but not as determinate features of the present actual world. There is in fact no general solution to the paradox, but attention to practice in resolving vague disagreements shows that its instances can be dealt with separately, as they arise, in many reasonable ways. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

This paper raises an underappreciated paradox for classical theism. Love seems to be an inherently biased and partial relation. Justice seems to require the opposite, detached impartiality (think of the attributes of the just judge). But if these are conceptual facts, then classical theism is guilty of ascribing inconsistent attributes to God: perfect love and perfect justice. I resolve this paradox in a manner that weighs in favor of the principle of divine simplicity.

Why is science so rare and faith so common in human history? Traditional cultures persist because it is subjectively rational for each maturing child to defer to the unanimous beliefs of his elders, regardless of any personal doubts. Science is possible only when individuals promote new theories (which will probably be proven false) and forgo the epistemic advantages of accepting established views (which are more likely to be true). Hence, progressive science must rely upon the epistemic altruism of experimental thinkers, (...) while traditions of faith depend on the epistemic self-interest of their followers. (shrink)

It has been hypothesized that our believing that, or its seeming to us as though, the world is in some way dynamical partially explains (and perhaps rationalizes) future-bias. Recent work has, in turn, found a correlation between future-bias and near-bias, suggesting that there is a common explanation for both. Call the claim that what partially explains our being both future- and near-biased is our believing/it seeming to us as though the world is dynamical, the dynamical explanation. We empirically test two (...) versions of the dynamical explanation. The first is the moving ego explanation—according to which it is our belief that the ego moves, or our phenomenology as of the ego moving, that jointly (partially) explains future- and near-bias. The second is the moving time explanation—according to which it is our belief that time robustly passes, or our phenomenology as of robust passage, which jointly (partially) explain future- and near-bias. We found no evidence in favour of either explanation. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

Little is known with regard to the precise cognitive tools the self uses in acquiring and processing information about itself. In this article, we underline the possibility that inner speech might just represent one such cognitive process. Duval and Wicklund’s theory of self-awareness and the selfconsciousness, and self-knowledge body of work that was inspired by it are reviewed, and the suggestion is put forward that inner speech parallels the state of self-awareness, is more frequently used among highly self-conscious persons, and (...) represents an effective, if not indispensable, tool involved in the formation of the self-concept. The possibility is also raised that the extent to which one uses inner speech could partially explain individual differences in self-consciousness and self-knowledge. A selective review of the private and inner speech literature is presented, and some possible ways of testing the hypothesis by using pre-existing techniques are proposed in the hope of stimulating empirical investigations. Some implications are outlined in conclusion. (shrink)

This paper aims to determine whether we can locate temporal passage in a non-dynamical (block universe) world. In particular, we seek to determine both whether temporal passage can be located somewhere in our world if it is non-dynamical, and also to home in on where in such a world temporal passage can be located, if it can be located anywhere. We investigate this question by seeking to determine, across three experiments, whether the folk concept of temporal passage can be satisfied (...) in our world if it is non-dynamical, and, if it can, what sort of thing in our world satisfies that concept. In particular, we focus on the question of whether that concept (if satisfied) is satisfied by something mind-dependent or something mind-independent. In other words, we ask, is temporal passage something that is at least partially in the mind, or is it entirely external to the mind? We find, contrary to what is often assumed by dynamists and non-dynamists alike, that the folk concept of temporal passage is satisfied in our world conditional on it being non-dynamical, and that the concept is satisfied by something mind-independent. This provides further ammunition for recent deflationary accounts of temporal passage that attempt to locate passage somewhere in our non-dynamical world. (shrink)

This article analyses Ukraine’s language policies from 2002 to 2022 within a framework of liberalism, while avoiding making normative judgements or recommendations, updating the discussion raised in Kymlicka and Opalski’s Can Liberal Pluralism be Exported? The analysis takes into consideration Ukraine’s present and historic position, including the challenge that postcolonial nation building can pose for achieving liberalism and linguistic justice. The paper focuses on three main areas of language policy: education, businesses and media, and assesses if they can be described (...) as liberal orthodox, pluralist or illiberal. The article begins by defining liberalism and illiberalism, discussing the context of Ukraine’s linguistic diversity and postcolonial context, before outlining the language situation until EuroMaidan. Then, the main issue of language policy in the areas of education, business and media is analysed, before considering whether Ukrainian language laws might be considered liberal or illiberal. Finally, potential future trajectories are outlined. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

This paper presents a new solution to the problem of peer disagreement that distinguishes two principles of rational belief, here called probability and autonomy. When we discover that we disagree with peers, there is one sense in which we rationally ought to suspend belief, and another in which we rationally ought to retain our original belief. In the first sense, we aim to believe what is most probably true according to our total evidence, including testimony from peers and authorities. In (...) the second, we aim to base our beliefs only on objective evidence and argumentation, even if that lowers the probability of their being true. The first principle of rational belief tends to serve the short-term epistemic interests of individuals, while the second tends to serve the long-term epistemic interests of both individuals and groups. The best way to reconcile these principles in cases of peer disagreement is to associate them with two corresponding species of belief, here called perception and opinion. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

Ce texte propose une définition de la conscience de soi et explique en quoi cette capacité naît du monde social. Il est postulé que ce dernier permet un mouvement de recul - une «distanciation » - par rapport à soi, et que le cerveau reproduit ce mouvement grâce à certains processus cognitifs qui en ont été imprimés. Parmi ceux-ci, on retrouve le langage intérieur, qui, par analogie, agirait comme un miroir interne capable de confronter l'expérience subjective à elle-même; de cette (...) confrontation naîtrait le soi. Un argument est présenté en faveur de la supériorité du langage intérieur sur d'autres processus cognitifs impliqués dans la conscience de soi. Le problème de la conscience de soi chez les primates est abordé, et l'article conclut sur diverses réflexions ayant trait à la schizophrénie, la prière, la méditation, et les drogues psychodysleptiques.This text proposes a definition of self-awareness and explains its social origin. It is postulated that the social milieu permits a movement to a more objective perspective for self- perception, and that this movement is then reproduced in the brain by specific cognitive processes. It is suggested that inner speech represents one such cognitive processes, which acts like a mirror to reflect subjective experience back upon itself-, the self would be generated by this reflective activity. It is argued that inner speech has a pre-eminent position among the cognitive processes implicated in self-awareness. The problem of self-awareness in primates is discussed, and the article concludes with ideas concerning schizophrenia, prayer, medi- tation, and psychodysleptic drugs. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

Do the hard problem of consciousness and the simulation argument potentially resolve each other? Here we will argue for four possible views: that consciousness may be possible only (a) outside of, (b) inside and/or outside of, (c) inside of, or (d) interfacing with simulations. The first two of these views have been developed at length by David Chalmers and are used as jumping off points to introduce and develop the latter two views here. If any one of these views could (...) be proven true, it would simultaneously both support a kind of account of properties of consciousness and also provide a kind of sign as to whether or not we are indeed living in the kind of immersive computer simulation that Nick Bostrom hypothesizes about. However, given that none of these views are proven true but all are plausible, these considerations should tend to neutralize our credence that we are either simulated or not simulated, by themselves giving us no sign one way or the other. (shrink)

Volume 20, Issue 4, May 2020, Page 46-48.

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Review of J.L. Schellenberg's Religion After Science: The Cultural Consequences of Religious Immaturity (Cambridge, 2019).

Here we will argue that different kinds of friendships follow different kinds of scaling laws. First, we will review Aristotle’s three types of friendship. Second, we will review three different types of scaling laws. Third, we will show how the three types of friendship roughly map on to the three types of scaling laws. After this, we will discuss some of the consequences of the scaling laws of friendship. We hope that the use of these abstract scaling laws to describe (...) social values will convince computer programmers and policy makers to temper their would-be ambitions as social engineers. (shrink)

This paper addresses what we consider to be the most pressing challenge for the emerging science of consciousness: the measurement problem of consciousness. That is, by what methods can we determine the presence of and properties of consciousness? Most methods are currently developed through evaluation of the presence of consciousness in humans and here we argue that there are particular problems in application of these methods to nonhuman cases—what we call the indicator validity problem and the extrapolation problem. The first (...) is a problem with the application of indicators developed using the differences between conscious and unconscious processing in humans to the identification of other conscious vs. nonconscious organisms or systems. The second is a problem in extrapolating any indicators developed in humans or other organisms to artificial systems. However, while pressing ethical concerns add urgency to the attribution of consciousness and its attendant moral status to nonhuman animals and intelligent machines, we cannot wait for certainty and we advocate the use of a precautionary principle to avoid causing unintentional harm. We also intend that the considerations and limitations discussed in this paper can be used to further analyze and refine the methods of consciousness science with the hope that one day we may be able to solve the measurement problem of consciousness. (shrink)

Attributions of certain speech-acts, like dog-whistling and wolf-crying, have an interesting complementary and antagonistic relationship that creates a kind of hostile dialectic and emergent divergence in political discourse. In the following, we will show how the wolf-cry and the dog-whistle are both epistemically difficult speech-acts to attribute, leading to asymmetric uncertainties in attribution. These uncertainties cause the attribution of wolf-cries and dog-whistles themselves to often be both reasonable but unconfirmable epistemic claims. Then, we will show how these patterns of attributions (...) can lead to a reciprocal dialectic of entrenched and self-amplifying dog-whistling versus wolf-crying, until an unhappy status quo is developed. This leads to a number of problems, including an epistemic standoff of standpoints, the attribution saturation of the political discourse, and a condition of self-defeating truth-seeking. Seemingly, the only surefire solution is a unanimous alleviation of such attributions, a standard that may seem insurmountable, though other options can be considered. (shrink)

Diminishing Marginal Utility is widely accepted as a law of human action, and therefor has become one of the primary premises of ethics, economics, and politics. In popular parlance, “diminishing returns” has entered into the cliches of common sense; in philosophical argument, it has achieved the status of an axiomatic assumption; and indeed, in terms of personal experience or folk psychology, it seems to largely hold true for goods in general over a range of consumption. However, a theory of diminishing (...) marginal utility rests on some assumptions that we ignore at our peril. The a priori and a posteriori proofs of diminishing marginal utility, as developed by the Austrian economists like Ludwig von Mises and Hermann Heinrich Gossen, should be reassessed and critiqued from their fundamental principles to illuminate the theory’s pitfalls. Once these premises and their conclusions are not taken for granted, a more comprehensive and conscientious theory of value can be proposed: Complex or Inflecting Marginal Utility. (shrink)

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...) Some relations to other alternative. set-theoretical principles are also briefly discussed. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

Since Boorse [Philos Sci 44(4):542–573, 1977] published his paper “Health as a theoretical concept” one of the most lively debates within philosophy of medicine has been on the question of whether health and disease are in some sense ‘objective’ and ‘value-free’ or ‘subjective’ and ‘value-laden’. Due to the apparent ‘failure’ of pure naturalist, constructivist, or normativist accounts, much in the recent literature has appealed to more conciliatory approaches or so-called ‘hybrid accounts’ of health and disease. A recent paper by Matthewson (...) and Griffiths [J Med Philos 42(4):447–466, 2017], however, may bear the seeds for the revival of purely naturalist approach to health and disease. In this paper, I defend their idea of Biological Normativity against recent criticism by Schwartz [J Med Philos Forum Bioethics Philos Med 42(4):485–502, 2017] and hope to help it flower into a revival of naturalist approaches in the philosophy of medicine. (shrink)

Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge, UK, 2004, pp. 432.

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target sets of (...) models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

The goal of this programmatic paper is to highlight a close connection between the core problem in the philosophy of medicine, i.e. the concept of health, and the core problem of the philosophy of mind, i.e. the concept of consciousness. I show when we look at these phenomena together, taking the evolutionary perspective of modern state-based behavioural and life-history theory used as the teleonomic tool to Darwinize the agent- and subject-side of organisms, we will be in a better position to (...) make sense of them both as natural phenomena. (shrink)

The concept of the Utility Monster offers an influential critique of Utilitarian theories, forcing us to consider different theoretical fixes to escape monstrous implications (Nozick, 1999, pp. 26-53; Kennard, 2015, p. 322). However, many different breeds, a whole bestiary, of Utility Monsters are identifiable, and each breed reveals something slightly different about what we find monstrous. When dissected in depth, we observe that some breeds are probably acceptable, whereas other breeds are indeed monstrous, though perhaps not for the reasons Nozick (...) thought. By breaking these taxonomies down, thus revealing strengths and weaknesses of these different breeds, we may see more clearly how the vicious versions can be dispensed with under reasonable assumptions. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...) justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

In this chapter, we outline the interdisciplinary contributions that philosophy, psychology, and neuroscience have provided in the understanding of the self and identity, focusing on one specific line of burgeoning research: the importance of morality to perceptions of self and identity. Of course, this rather limited focus will exclude much of what psychologists and neuroscientists take to be important to the study of self and identity (that plethora of self-hyphenated terms seen in psychology and neuroscience: self-regulation, self-esteem, self-knowledge, self-concept, self-perception, (...) and more). We will likewise not engage with many canonical philosophical treatments of self and identity. But we will lay out a body of research that brings together classic themes in philosophy, psychology, and neuroscience to raise empirically tractable philosophical questions, and philosophically rigorous empirical questions about self and identity. More specifically, in section 4.2, we will review some recent research that has treated traditional philosophical questions about self and identity as empirical questions. Within this body of work, we will be primarily concerned with the finding that morality (more so than memory) is perceived to be at the core of self and identity. Then, in section 4.3, we raise and respond to a variety of questions and criticisms: first, about the operationalization of identity concepts in the empirical literature; second, about the generalizability of the moral self effect; third, about the direction of change; fourth, about connections with recent work in neuroscience; and fifth, about the target of evaluation. Finally, in section 4.4, we consider a variety of implications and applications of this work on the moral self. Throughout, we aim to highlight connections between classical themes in philosophy, psychology, and neuroscience, while also suggesting new directions for interdisciplinary collaboration. (shrink)

Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.

According to the phenomenal intentionality research program, a state’s intentional content is fixed by its phenomenal character. Defenders of this view have little to say about just how this grounding is accomplished. I argue that without a robust account of representation, the research program promises too little. Unfortunately, most of the well-developed accounts of representation – asymmetric dependence, teleosemantics, and the like – ground representation in external relations such as causation. Such accounts are inconsistent with the core of the phenomenal (...) intentionality program. I argue that, however counter-intuitive it may seem, the best prospect for explaining how phenomenal character represents appeals to resemblance. (shrink)

Animal welfare has a long history of disregard. While in recent decades the study of animal welfare has become a scientific discipline of its own, the difficulty of measuring animal welfare can still be vastly underestimated. There are three primary theories, or perspectives, on animal welfare - biological functioning, natural living and affective state. These come with their own diverse methods of measurement, each providing a limited perspective on an aspect of welfare. This paper describes a perspectival pluralist account of (...) animal welfare, in which all three theoretical perspectives and their multiple measures are necessary to understand this complex phenomenon and provide a full picture of animal welfare. This in turn will offer us a better understanding of perspectivism and pluralism itself. (shrink)

Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more inter-related. My (...) proposal is that this would demand an innovative game-theoretical semantic approach to paraconsistentism, but also that the syntax of the paraconsistent “Logics of Formal Inconsistency” can model the internal logic of Socratic elenchi. I aim to discuss these, and other points posed by Hintikka, as challenges and opportunities for paraconsistentism, paraconsistent logics and IF logics, as well as to raise some criticisms on Hintikka’s view about paraconsistency. (shrink)